| Run with best incumbent | examples/spear_qcp_small/example_output_1 | Cutoff | 5 |
| # Train instances | 10 | Walltime budget | 50 |
| # Test instances | 10 | Runcount budget | inf |
| # Parameters | 26 | CPU budget | inf |
| Deterministic | False |
| Default | Incumbent | |
|---|---|---|
| -------------- Changed parameters: -------------- | ----- | ----- |
| sp-clause-activity-inc | 1 | 1.03619 |
| sp-clause-decay | 1.4 | 1.80047 |
| sp-clause-del-heur | 2 | 0 |
| sp-first-restart | 100 | 503 |
| sp-learned-clause-sort-heur | 0 | 5 |
| sp-learned-clauses-inc | 1.3 | 1.44637 |
| sp-learned-size-factor | 0.4 | 0.212442 |
| sp-orig-clause-sort-heur | 0 | 2 |
| sp-phase-dec-heur | 5 | 4 |
| sp-rand-var-dec-freq | 0.001 | 0.005 |
| sp-resolution | 1 | 0 |
| sp-restart-inc | 1.5 | 1.44486 |
| sp-use-pure-literal-rule | 1 | 0 |
| sp-var-activity-inc | 1 | 1.38284 |
| sp-var-dec-heur | 0 | 8 |
| sp-variable-decay | 1.4 | 1.39724 |
| sp-max-res-lit-inc | 1 | inactive |
| sp-max-res-runs | 4 | inactive |
| sp-rand-phase-dec-freq | 0.001 | 0.0001 |
| sp-rand-var-dec-scaling | 1 | 0.370268 |
| sp-res-cutoff-cls | 8 | inactive |
| sp-res-cutoff-lits | 400 | inactive |
| sp-res-order-heur | 0 | inactive |
| sp-rand-phase-scaling | 1 | 1.04195 |
| -------------- Unchanged parameters: -------------- | ----- | ----- |
| sp-update-dec-queue | 1 | 1 |
| Default | Incumbent | |||
|---|---|---|---|---|
| Train | Test | Train | Test | |
| PAR10 | 5.281 | 0.033 | 0.016 | 0.012 |
| PAR1 | 0.781 | 0.033 | 0.016 | 0.012 |
| Timeouts | 1/10 | 0/10 | 0/10 | 0/10 |
| -------------------- Single importance: -------------------- | -------------------- |
|---|---|
| sp-orig-clause-sort-heur | 0.546276 |
| sp-var-dec-heur | 0.135959 |
| -------------------- Pairwise importance: -------------------- | -------------------- |
| sp-orig-clause-sort-heur & sp-var-dec-heur | 0.772227 |
| sp-orig-clause-sort-heur & sp-phase-dec-heur | 0.582591 |
| sp-orig-clause-sort-heur & sp-learned-clause-sort-heur | 0.576981 |
| sp-orig-clause-sort-heur & sp-rand-var-dec-freq | 0.559369 |
| sp-var-dec-heur & sp-learned-clause-sort-heur | 0.16182 |
| sp-var-dec-heur & sp-rand-var-dec-freq | 0.156234 |
| sp-var-dec-heur & sp-phase-dec-heur | 0.149552 |